COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	IV. Since September 1971 David Luckham has been a Research Computer
C00005 ENDMK
C⊗;
IV. Since September 1971 David Luckham has been a Research Computer
Scientist in the Artificial Intellgence Laboratory.  He has been
the instigator and leader of all our work in computer theorem
proving and much of our work in program verification.  Both of these
areas are essential for artificial intelligence research and for
mathematical theory of computation, and, as shown by the letters,
David Luckham has contributed strongly to the Laboratory's international
reputation in these areas and presumably to the continuation of our
government support.  Besides this his area has attracted a quite a few
graduate students whose dissertation work he has ably directed.
His ability to conceive and organize independent research projects that
can attract government support has been demonstrated and it is regarded
as anomalous that he does not yet have a title allowing him to be a 
principal investigator.

B. We expect him to be successful in the future, because he has already
been successful in this role.  However, his status must match his role
if we are to be fair or are to keep him.

D. His departmental activities outside his research are listed.


V. While his position is not primarily as a teacher, we expect that
he will occasionally teach an advanced course and direct seminars.
He does this adequately.

VI. While this is primarily a matter of making the title match the
function the candidate is already performing, the letters soliciting
opinions asked for comparison with other outstanding people in the
field with the excellent results evidenced by the letters.